NMI Source Control
| IRQNO | The IRQ number of the interrupt that acts as the Non-Maskable Interrupt (NMI) if bit 31 is 1. See Table 58 for the list of interrupt sources and their IRQ numbers. |
| RESERVED | Reserved |
| NMIEN | Write a 1 to this bit to enable the Non-Maskable Interrupt (NMI) source selected by bits 4:0. |